141. از ارسطو تا گودل: مجموعه مقاله هاي فلسفي- منطقى
پدیدآورنده : ضياء موحد
موضوع : منطق- قرن20م.- مقاله ها و خطابه ها=منطق رياضي- مقاله ها و خطابه ها=فلسفه جديد- قرن20م.- مقاله ها و خطابه ها
۴۹ نسخه از این کتاب در ۴۸ کتابخانه موجود است.
142. از ارسطو تا گودل: مجموعه مقا‌له‌ها‌ی فلسفی - منطقی
پدیدآورنده: گردآورنده و مترجم موحد، ضیا‌ء ۱۳۲۱-
کتابخانه: کتابخانه و مرکز اسناد فرهنگستان هنر (تهران)
موضوع: منطق -- قرن ۲۰م. -- مقالهها و خطابهها,منطق ریاضی -- مقالهها و خطابهها,فلسفه جدید -- قرن ۲۰م. -- مقالهها و خطابهها
رده :
BC
۵۰
/
م
۸۴
الف
۴ ۱۳۸۲
143. ازارسطو تا گودل: مجموعه مقاله‌هاي فلسفي - منطقي
پدیدآورنده: ضياء موحد,مجموعه مقاله‌هاي فلسفي - منطقي
کتابخانه: كتابخانه عمومی اژیه (اصفهان)
موضوع: فلسفه جديد - قرن 20م، - مقالهها و خطابهها منطق -- قرن 20م-- مقالهها و خطابهها منطق رياضي - مقالهها و خطابهها
رده :
160
م
828
الف
144. اساس الاقتباس
پدیدآورنده: / تالیف محمد بن محمد الحسن طوسی . ملقب به خواجه نصیر الدین ,نصیرالدین طوسی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی
رده :
B753
.
N3B43
A7M6
2535
145. اساس الأقتباس
پدیدآورنده: / تألیف سلطان الحکماء والمتکلمین، محمد بن الحسن الطوسی ملقب به خواجه نصیرالدین، به تصحیح مدرس رضوی
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: منطق ریاضی
رده :
B
۷۵۳
/
ن
۶
الف
۵
146. اساس الاقتباس
پدیدآورنده: / بتصحیح مدرس رضوی,نصیر الدین طوسی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی
رده :
B753
.
N3B43
A7M6
147. اساس الاقتباس
پدیدآورنده: / بتصحیح مدرس رضوی,نصیرالدین طوسی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: منطق ریاضی
رده :
LGR445
16
R
148. اساس الاقتباس
پدیدآورنده : بتصحيح مدرس رضوي
موضوع : منطق رياضي
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
149. اساس الاقتباس
پدیدآورنده: تاليف محمدبن محمدبن الحسن طوسي ،بتصحيح مدرس رضوي
کتابخانه: کتابخانه شهید مفتح کوی دانشگاه تهران (تهران)
موضوع: منطق رياضي
رده :
B
753/
ن
6
الف
5
»
1376
150. استدلال رياضي و نظريه‌ي مجموعه‌ها ويژه دانش‌آموزان سال سوم آموزش متوسطه و داوطلبان ورود به دانشگاه (رشته علوم رياضي و فيزيک)
پدیدآورنده: / مؤلفان: محمد صادق تولايي... [و ديگران]
کتابخانه: کتابخانه مرکزی آستان قدس رضوی (خراسان رضوی)
موضوع: منطق رياضي -- مسائل، تمرينها و غيره (متوسطه),نظريه مجموعه‌ها -- مسائل، تمرينها و غيره,منطق رياضي -- آزمونها و تمرينها (متوسطه),نظريه مجموعه‌ها -- آزمونها و تمرينها (متوسطه)
رده :
۵۱۱
/
۳
الف
۴۸۳
151. استدلال ریاضی و نظریه‌ی مجموعه‌ها : ویژه‌ی دانش‌آموزان سال سوم آموزش متوسطه و داوطلبان ورود به دانشگاه (رشته‌ی ریاضی و فیزیک)
پدیدآورنده: / مولفان محمد‌صادق تولایی ... [و دیگران].
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: منطق ریاضی,منطق ریاضی,نظریه مجموعه‌ها,نظریه مجموعه‌ها,دانشگاهها و مدارس عالی,-- آزمونها و تمرینها (متوسطه), -- راهنمای آموزشی (متوسطه), -- آزمون‌هاوتمرین‌ها (متوسطه), -- راهنمای آموزشی (متوسطه), -- آزمونها, -- ایران
رده :
QA
۹
/
الف
۴۵ ۱۳۸۸
152. استدلال هستی‌شنا‌ختی گودل
پدیدآورنده: رعنا‌یی، مهدی، ۱۳۶۴ -
کتابخانه: كتابخانه مجمع عالی حكمت اسلامی (قم)
موضوع: گودل، کورت، ۱۹۰۶-۱۹۷۸م,خدا -- اثبا‌ت هستی‌شنا‌ختی,منطق ریاضی
رده :
QA
۲۹
/
گ
۹
ر
۷
153. اسس المنطق الرمزی المعا‌صر
پدیدآورنده: حصا‌دی، نجیب
کتابخانه: كتابخانه مجمع عالی حكمت اسلامی (قم)
موضوع: منطق ریاضی
رده :
QA
۹
/
ح
۶
الف
۵
154. اسس المنطق الرمزی المعا‌صر
پدیدآورنده: حصا‌دی، نجیب
کتابخانه: کتابخانه، مرکز اسناد و مدارک علمی پژوهشگاه حوزه و دانشگاه (قم)
موضوع: منطق ریاضی,مسائل، تمرینها و غیره منطق ریاضی
رده :
BC
۱۳۵
/
ح
۶
/
الف
۵
155. اسس المنطق الرمزی المعا‌صر
پدیدآورنده : حصا‌دی، نجیب
موضوع : منطق ریاضی
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
156. اسس المنطق الرمزی المعا‌صر
پدیدآورنده: نجیب الحصا‌دی
کتابخانه: کتابخانه و مرکز اطلاع رسانی شیخ بهائی (دفتر تبليغات اسلامی حوزه علميه خراسان) (خراسان رضوی)
موضوع: منطق ریاضی
رده :
BC
۱۳۵
/
ح
۶،
الف
۵
157. اسس المنطق الرمزی المعا‌صر
پدیدآورنده: حصا‌دی، نجیب
کتابخانه: كتابخانه تخصصی پژوهشگاه علوم و فرهنگ اسلام (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع: منطق ریاضی
رده :
QA
۹
/
ح
۶
الف
۵
158. اسس المنطق الصوری و مشکلاته
پدیدآورنده: ابوریا‌ن، محمد علی
کتابخانه: كتابخانه مركز پژوهشی دائرة المعارف علوم عقلی اسلامى (قم)
موضوع: منطق ریاضی,منطق,منطق - قرن ۲۰م.
159. آشنای با منطق ریاضی
پدیدآورنده: هربرت ب . اندرتون ؛ ترجمه غلامرضا براداران خسروشاهی ، محمد رجبی طرخورانی
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: منطق ریاضی
رده :
QA
9
/
الف
869
1366
160. آشنا‌یی با فلسفه ریاضی ( رشته ریاضی)
پدیدآورنده: بیژن‌زاده، محمد حسن
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: منطق ریاضی
رده :
QA
۹
/
ب
۹
آ
۵
